A Process Calculus for Spatially-explicit Ecological Models
نویسندگان
چکیده
منابع مشابه
A Process Calculus for Spatially-explicit Ecological Models
We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit, individual-based models and to reason about their behavior. Our calculus has two levels: at the first level we may define the behavior of an individual of a population while, at the second level, we may specify a system as the collection of individuals of various species loc...
متن کاملProcess Ordering in a Process Calculus for Spatially-Explicit Ecological Models
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the different activities within a system. It is defined externally to a PALPS model as a partial order which prescribes the precedence order between the activities of the individ...
متن کاملSimulation and Verification for a Process Calculus for Spatially-explicit Ecological Models
We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit individual-based ecological models and to reason about their behavior. PALPS has two abstraction levels: At the first level, we may define the behavior of an individual of a population and, at the second level, we may specify a system as the collection of individuals of vario...
متن کاملMean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individualbased modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological st...
متن کاملSimulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
We propose palps, a Process Algebra with Locations for Population Systems. palps allows us to produce spatially-explicit individualbased ecological models and to reason about their behavior. palps has two abstraction levels: At the first level, we may define the behavior of an individual of a population and, at the second level, we may specify a system as the collection of individuals of variou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.100.2